153,153,155,157,158,159,160,161,162,162,166,166,167,168,170,171,172,173,174,177,178,179,180,181,182,185,188,190,192,193,195,197,201,207,211,212,213,214,215,216,216,216,218,220,222,225,227,230,232,234,235,236,237,239,240,242,244,245,246,247,248,249,250,252,253,254,256,258,267,273,275,276,278,283,289,293,300,304,306,307,309,310,312,314,315,317,319,321,322,323,324,325,326,327,328,329,331,334,336,338,339,341,342,347,349,350,353,356,358,360,361,363,364,365,366,368,369,373,376,378,381,382,383,385,386,388,389,390,391,392,395,398,399,400,403,408,409,411,414,415,416,425,427,428,428,430,431,432,433,433,432,432,432,432,432,432,432,432,432,431,431,431,430,430,430,430,429,429,429,429,429,429,429,429,428,428,427,427,426,426,425,425,424,424,424,423,422,422,421,420,419,418,418,417,416,416,416,416,416,416,417,418,418,417,417,416,416,415,414,414,413,412,411,410,410,409,408,408,407,407,406,406,405,405,404,404,404,403,403,401,400,398,395,394,392,392,388,386,384,382,380,378,376,373,372,371,368,366,365,364,360,354,351,350,350,349,349,349,348,345,341,339,338,337,336,335,333,332,329,328,327,327,325,324,323,321,320,317,315,314,313,312,311,307,304,303,302,302,301,301,300,299,295,291,288,285,282,280,278,277,275,270,268,266,265,264,263,260,257,257,256,256,255,254,254,253,252,252,252,251,251,251,250,250,250,249,249,249,249,248,248,247,246,246,245,245,245,245,245,245,244,243,242,241,240,239,237,236,235,235,234,234,233,231,230,230,229,228,227,226,226,225,224,223,222,221,219,218,217,215,210,205,201,191,188,187,186,185,182,178,173,170,169,168,167,164,162,161,160,158,156,155,154;957,958,959,961,962,964,965,966,967,969,975,977,978,980,981,982,983,984,985,989,990,991,993,995,996,1001,1005,1008,1011,1014,1017,1021,1026,1032,1039,1040,1041,1042,1044,1050,1053,1059,1066,1070,1077,1082,1086,1092,1097,1099,1101,1102,1103,1104,1105,1105,1106,1107,1109,1110,1112,1115,1116,1117,1119,1120,1122,1124,1130,1138,1143,1148,1153,1160,1164,1166,1168,1169,1170,1170,1170,1170,1170,1170,1169,1168,1167,1166,1165,1165,1165,1164,1164,1164,1164,1165,1165,1166,1166,1167,1167,1168,1168,1171,1172,1173,1175,1178,1178,1179,1179,1179,1178,1178,1177,1177,1176,1175,1175,1175,1175,1175,1175,1175,1176,1177,1177,1177,1176,1176,1175,1174,1174,1174,1174,1174,1174,1174,1174,1174,1174,1171,1171,1171,1170,1170,1169,1168,1168,1164,1160,1158,1155,1152,1149,1146,1142,1136,1130,1126,1124,1122,1121,1120,1119,1118,1115,1114,1113,1112,1111,1110,1109,1108,1108,1107,1106,1105,1104,1103,1101,1100,1099,1098,1095,1092,1091,1090,1089,1088,1085,1083,1080,1078,1074,1070,1068,1067,1065,1064,1062,1060,1059,1059,1058,1058,1057,1056,1055,1054,1053,1051,1049,1048,1046,1045,1044,1042,1039,1037,1035,1034,1033,1031,1029,1028,1026,1024,1021,1018,1015,1011,1005,1004,1002,1000,999,997,995,994,991,990,989,987,986,985,982,981,980,978,974,966,961,957,956,955,953,950,946,940,933,930,928,927,926,925,924,922,920,918,917,916,915,915,915,914,914,914,913,913,912,911,910,908,906,906,906,905,905,904,904,903,901,897,896,892,889,886,884,883,879,875,873,872,871,871,870,869,868,869,869,870,870,870,871,872,873,874,875,876,877,878,879,880,881,881,882,883,884,885,886,887,888,889,889,890,891,892,893,894,894,895,896,897,898,899,902,904,905,906,906,907,908,909,910,911,912,912,913,914,915,916,917,918,920,920,922,923,924,926,928,929,931,934,935,936,937,938,940,941,943,945,946,947,948,949,950,951,952,953,954,955,956